Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 5445 results
Sort by: relevance publication year
Showing results for ISSN matching 0098-5589

NON-VON's performance on certain database benchmarks

JOURNAL ARTICLE published April 1986 in IEEE Transactions on Software Engineering

Authors: Bruce K. Hillyer | David Elliot Shaw | Anil Nigam

https://doi.org/10.1109/tse.1986.6312905 Actions

Synthesizing Modal Transition Systems from Triggered Scenarios

JOURNAL ARTICLE published July 2013 in IEEE Transactions on Software Engineering

Authors: German Emir Sibay | Victor Braberman | Sebastian Uchitel | Jeff Kramer

https://doi.org/10.1109/tse.2012.62 Actions

Automated Steering of Model-Based Test Oracles to Admit Real Program Behaviors

JOURNAL ARTICLE published 1 June 2017 in IEEE Transactions on Software Engineering

Research funded by US National Science Foundation (CNS-0931931,CNS-1035715)

Authors: Gregory Gay | Sanjai Rayadurgam | Mats P. E. Heimdahl

https://doi.org/10.1109/tse.2016.2615311 Actions

TSE Information for authors

JOURNAL ARTICLE published September 2011 in IEEE Transactions on Software Engineering

https://doi.org/10.1109/tse.2011.98 Actions

The impact on software development costs of using HOL's

JOURNAL ARTICLE published March 1986 in IEEE Transactions on Software Engineering

Authors: John E. Gaffney

https://doi.org/10.1109/tse.1986.6312890 Actions

Detecting Android API Compatibility Issues With API Differences

JOURNAL ARTICLE published July 2023 in IEEE Transactions on Software Engineering

Research funded by University of Queensland (NS-2201) | National Science Foundation (CCF-1464123,CCF-1659807)

Authors: Tarek Mahmud | Meiru Che | Guowei Yang

https://doi.org/10.1109/tse.2023.3274153 Actions

2020 Index IEEE Transactions on Software Engineering Vol. 46

JOURNAL ARTICLE published January 2021 in IEEE Transactions on Software Engineering

https://doi.org/10.1109/tse.2020.3045901 Actions

Specification and Verification of Normative Texts Using C-O Diagrams

JOURNAL ARTICLE published August 2014 in IEEE Transactions on Software Engineering

Authors: Gregorio Diaz | Maria Emilia Cambronero | Enrique Martinez | Gerardo Schneider

https://doi.org/10.1109/tse.2013.54 Actions

Managing standards compliance

JOURNAL ARTICLE published 1999 in IEEE Transactions on Software Engineering

Authors: W. Emmerich | A. Finkelstein | C. Montangero | S. Antonelli | S. Armitage | R. Stevens

https://doi.org/10.1109/32.824413 Actions

[Inside front cover]

JOURNAL ARTICLE published September 2012 in IEEE Transactions on Software Engineering

https://doi.org/10.1109/tse.2012.58 Actions

Table of contents

JOURNAL ARTICLE published December 1975 in IEEE Transactions on Software Engineering

https://doi.org/10.1109/tse.1975.6312861 Actions

Call for papers

JOURNAL ARTICLE published March 1986 in IEEE Transactions on Software Engineering

https://doi.org/10.1109/tse.1986.6312895 Actions

Software Reliability Analysis Using Weakest Preconditions in Linear Assignment Programs

JOURNAL ARTICLE published 1 September 2016 in IEEE Transactions on Software Engineering

Research funded by Research Foundation of Young Teachers in Sichuan University of P.R. China (2011SCU11120)

Authors: Hang Luo | Xue Liu | Xi Chen | Ting Long | Ronghua Jiang

https://doi.org/10.1109/tse.2016.2521379 Actions

A structure editor for abstract document objects

JOURNAL ARTICLE published March 1986 in IEEE Transactions on Software Engineering

Authors: Gary D. Kimura

https://doi.org/10.1109/tse.1986.6312883 Actions

Guest Editorial Introduction to the Special Section

JOURNAL ARTICLE published June 1996 in IEEE Transactions on Software Engineering

Authors: D. Notkin | D.R. Jeffery

https://doi.org/10.1109/tse.1996.508310 Actions

A formal security model for microprocessor hardware

JOURNAL ARTICLE published 2000 in IEEE Transactions on Software Engineering

Authors: V. Lotz | V. Kessler | G.H. Walter

https://doi.org/10.1109/32.879809 Actions

[Back cover]

JOURNAL ARTICLE published November 2006 in IEEE Transactions on Software Engineering

https://doi.org/10.1109/tse.2006.111 Actions

[Inside front cover]

JOURNAL ARTICLE published January 2007 in IEEE Transactions on Software Engineering

https://doi.org/10.1109/tse.2007.256939 Actions

Inference graphs: a computational structure supporting generation of customizable and correct analysis components

JOURNAL ARTICLE published February 2003 in IEEE Transactions on Software Engineering

Authors: L.K. Dillon | R.E.K. Stirewalt

https://doi.org/10.1109/tse.2003.1178052 Actions

Mathematical assessment of object-oriented design quality

JOURNAL ARTICLE published November 2003 in IEEE Transactions on Software Engineering

Authors: A. Chatzigeorgiou

https://doi.org/10.1109/tse.2003.1245306 Actions
Feedback: support@crossref.org